The Enumeration of Planar Graphs via Wick’s Theorem

نویسندگان

  • MIHYUN KANG
  • MARTIN LOEBL
چکیده

A seminal technique of theoretical physics calledWick’s theorem interprets the Gaussian matrix integral of the products of the trace of powers of Hermitian matrices as the number of labelled maps with a given degree sequence, sorted by their Euler characteristics. This leads to the map enumeration results analogous to those obtained by combinatorial methods. In this paper we show that the enumeration of the graphs embeddable on a given 2-dimensional surface (a main research topic of contemporary enumerative combinatorics) can also be formulated as the Gaussian matrix integral of an ice-type partition function. Some of the most puzzling conjectures of discrete mathematics are related to the notion of the cycle double cover. We express the number of the graphs with a fixed directed cycle double cover as the Gaussian matrix integral of an Ihara-Selberg-type function.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Complete Grammar for Decomposing a Family of Graphs into 3-Connected Components

Tutte has described in the book “Connectivity in graphs” a canonical decomposition of any graph into 3-connected components. In this article we translate (using the language of symbolic combinatorics) Tutte’s decomposition into a general grammar expressing any family G of graphs (with some stability conditions) in terms of the subfamily G3 of graphs in G that are 3-connected (until now, such a ...

متن کامل

Enumeration of Maximal Planar Graphs with minimum degree Five

In this paper, we give a process to enumerate all maximal planar graphs with minimum degree ve, with a xed number of vertices. These graphs are called MPG5 [6]. We have used the algorithm [3] to generate these graphs. For the MPG5 enumeration we have used the general method due to Brenda McKay in [5]; i.e. by computing the orbits set of automorphism group and canonical forms.

متن کامل

Efficient Enumeration of Dominating Sets for Sparse Graphs

Dominating sets are fundamental graph structures. However, enumeration of dominating sets has not received much attention. This study aims to propose two efficient enumeration algorithms for sparse graphs. The first algorithm enumerates all the dominating sets for k-degenerate graphs in O (k) time per solution using O (n + m) space. Since planar graphs have a constant degeneracy, this algorithm...

متن کامل

A CHARACTERIZATION FOR METRIC TWO-DIMENSIONAL GRAPHS AND THEIR ENUMERATION

‎The textit{metric dimension} of a connected graph $G$ is the minimum number of vertices in a subset $B$ of $G$ such that all other vertices are uniquely determined by their distances to the vertices in $B$‎. ‎In this case‎, ‎$B$ is called a textit{metric basis} for $G$‎. ‎The textit{basic distance} of a metric two dimensional graph $G$ is the distance between the elements of $B$‎. ‎Givi...

متن کامل

Formalizing plane graph theory: towards a formalized proof of the Kepler conjecture

In 1998, Thomas Hales published a proof of the Kepler Conjecture, which states that the cubic close packing is the densest possible packing of equallysized spheres. The proof is by exhaustion on a set of 3050 plane graphs satisfying certain properties, called tame plane graphs. The enumeration of this set has been generated by a computer program, hence the completeness of this enumeration is es...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006